1. Computer scince logic : 13th International Workshop, CSL' 99 : 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
پدیدآورنده : Jorg Flum, Mario Rodriguez-Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1683
2. Einführung in die mathematische Logik
پدیدآورنده : Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematische Logik
3. Finite model theory
پدیدآورنده : by Heinz-Dieter Ebbinghaus, Jorg Flum
موضوع : Model theory,Finit groups
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
5. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Model theory
رده :
E-BOOK
6. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
7. Parameterized complexity theory
پدیدآورنده : Flum, Jorg.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computational complexity,، Algorithms
رده :
QA
267
.
7
.
F58
2006
8. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Topological spaces,، Model theory
رده :
QA
611
.
3
.
F55
1980
9. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
no
.
769
10. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
no
.
769
11. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
Vol
.
769
